$\forall$${\it es}$:ES, $e_{1}$, $e_{2}$:E. loc($e_{2}$) $=$ loc($e_{1}$) $\in$ Id $\Rightarrow$ (null(es{-}hist\{i:l\}(${\it es}$;$e_{1}$;$e_{2}$)) $\Leftrightarrow$ ($e_{2}$ $<$loc $e_{1}$))